<html>
  
  <head>
    <meta charset="utf-8">
    <title>Bootstrap, from Twitter</title>
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <meta name="description" content="">
    <meta name="author" content="">
    <link href="http://netdna.bootstrapcdn.com/bootstrap/3.2.0/css/bootstrap.min.css"
    rel="stylesheet">
    <script type="text/javascript" src="http://cdnjs.cloudflare.com/ajax/libs/jquery/2.0.3/jquery.min.js"></script>
    <script type="text/javascript" src="http://netdna.bootstrapcdn.com/bootstrap/3.2.0/js/bootstrap.min.js"></script>
  </head>
  
  <body>
    <div class="container">
      <div class="row">
        <div class="col-md-12">
            <h1>Trabalho 1 de LFA 2014</h1>
            <h3>Instruções para o uso</h3>
            <ul>
              <li>Os scripts que simulam os automatos foram desenvolvidos em php e testados com arquivos txt(Windows), não é garantido que seja funcional com arquivos txt de outro sistema operacional</li>
              <li>Para que o automato seja simulado, deve-se enviar dois arquivos, sendo que o primeiro deve conter a tabela de transições do automato e o segundo deve conter as strings a serem verificadas</li>
              <li>Só serão aceitos arquivos em txt</li>
              <li>Na tabela de transições, a separação de colunas deve ser feita com tab(\t)</li>
              <li>Na tabela de transições todas as linhas devem ser finalizadas com ENTER(\n)</li>
              <li>Na tabela de transições, os estados devem ser colocados em sequencia <ul><li>Ex:    0  1<br>>*q0   q2  q3<br>q1   q0  q1<br>q2   q1  q3<br>q3   q0  q1</li></ul></li>
              <li>No arquivo que contem a entrada, todas as strings devem ser separadas com ENTER(\n)</li>
              <li><b>Só é permitido realizar uma simulação simultanea, ou seja, o resultado não será correto se forem abertas duas abas e realizar duas simulaçoes ao mesmo tempo</b></li>
              <li><b>Para indicar que não há nenhuma transição para um determinado simbolo de entrada em um certo estado, insira o caracter - (sinal de menos)</b></li>
              <li><b>A simulãção do NFA não é feita pelo site, ao clicar no botão abaixo, será feito o download de um arquivo zip que contem o simulador de NFA e seus pré-requisitos</b></li>
              <li><b>Para usar o NFA siga os seguintes passos<br><ul><li>Descompacte o arquivo nfa.zip na pasta desejada</li><li>Execute o arquivo nfa.py - (O programa foi desenvolvido em python 2.7)</li></ul></b></li>
            </ul>
            <h3>Escolha qual automato</h3>
            <div class="col-md-4"><a href="dfa.html" class="btn btn-block btn-primary">DFA - Deterministic Finite Automaton</a></div>
            <div class="col-md-4"><a href="nfa.php" class="btn btn-block btn-primary">NFA - Nondeterministic Finite Automaton</a></div>
        </div>
      </div>
    </div>
  </body>

</html>